floatflt.dtx